課程名稱 |
自動機與形式語言 Formal Languages and Automata Theory |
開課學期 |
103-1 |
授課對象 |
資訊工程學系 |
授課教師 |
項 潔 |
課號 |
CSIE3110 |
課程識別碼 |
902 43500 |
班次 |
02 |
學分 |
3 |
全/半年 |
半年 |
必/選修 |
必帶 |
上課時間 |
星期二3,4,@(10:20~) |
上課地點 |
資102 |
備註 |
限學號雙號 且 限本系所學生(含輔系、雙修生) 且 限學士班三年級以上 總人數上限:98人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1031CSIE3110_02 |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
Abstract:In studying the theory of computation we seek to determine what can and cannot be computed, how quickly, with how much memory, and on what type of computation model. The subject has obvious connections with engineering practice, and, as many sciences, it also has purely philosophical aspects.
Topics:
0. Introduction
1. Regular Languages
2. Context-free Languages
3. The Church-Turing Thesis
4. Decidability
5. Reducibility
6. Advanced Topics in Computability Theory
7. Time Complexity
Textbook:Introduction to the Theory of Computation , Michael Sipser, PWS Publishing Company, 1997, 新月書局代理 |
課程目標 |
待補 |
課程要求 |
待補 |
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
待補 |
參考書目 |
待補 |
評量方式 (僅供參考) |
|
週次 |
日期 |
單元主題 |
第4週 |
10/07 |
繳交Homework#1:
0.10, 0.11, 0.13 |
第7週 |
10/28 |
繳交Homework#2:1.31, 1.41, 1.68 |
第10週 |
11/18 |
繳交Homework#3:2.9, 2.32, 2.38 |
第12週 |
12/02 |
Midterm Exam |
第13週 |
12/09 |
繳交Homework#4:3.7, 3.12, 3.16 bcde |
第14週 |
12/16 |
繳交Homework#5:4.7, 4.20, 4.29 |
第16週 |
12/30 |
繳交Homework#6:5.4, 5.13, 5.25 |
第18週 |
1/13 |
Final Exam |
|